Knihy od autora Dirk Pattinson

Zobrazeno 1 – 3 z 3 výsledků

1. 

   Coalgebraic Methods in Computer Science

   Dirk Pattinson, Lutz Schröder | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Automated Reasoning

   Jasmin Blanchette, Laura Kovács, Dirk Pattinson | Springer International Publishing AG, 2022

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   946 Kč

   Koupit
3. 

   Recent Trends in Algebraic Development Techniques

   Martin Wirsing, Dirk Pattinson, Rolf Hennicker | Springer, Berlin, 2003

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Máte na výběr ze mnoha způsobů platby za váš nákup. Zjistěte více